Invariants of genus 2 mutants

Pairs of genus 2 mutant knots can have different Homfly polynomials, for example some 3-string satellites of Conway mutant pairs. We give examples which have different Kauffman 3-variable polynomials, answering a question raised by Dunfield et al in their study of genus 2 mutants. While pairs of genus 2 mutant knots have the same Jones polynomial, given from the Homfly polynomial by setting v=s^2, we give examples whose Homfly polynomials differ when v=s^3. We also give examples which differ in a Vassiliev invariant of degree 7, in contrast to satellites of Conway mutant knots.Comment: 16 pages, 20 figure

The Topology of Branching Universes

The purpose of this paper is to survey the possible topologies of branching space-times, and, in particular, to refute the popular notion in the literature that a branching space-time requires a non-Hausdorff topology

Homotopy types of stabilizers and orbits of Morse functions on surfaces

Let $M$ be a smooth compact surface, orientable or not, with boundary or without it, $P$ either the real line $R^1$ or the circle $S^1$, and $Diff(M)$ the group of diffeomorphisms of $M$ acting on $C^{\infty}(M,P)$ by the rule $h\cdot f\mapsto f \circ h^{-1}$, where $h\in Diff(M)$ and $f \in C^{\infty}(M,P)$. Let $f:M \to P$ be a Morse function and $O(f)$ be the orbit of $f$ under this action. We prove that $\pi_k O(f)=\pi_k M$ for $k\geq 3$, and $\pi_2 O(f)=0$ except for few cases. In particular, $O(f)$ is aspherical, provided so is $M$. Moreover, $\pi_1 O(f)$ is an extension of a finitely generated free abelian group with a (finite) subgroup of the group of automorphisms of the Reeb graph of $f$. We also give a complete proof of the fact that the orbit $O(f)$ is tame Frechet submanifold of $C^{\infty}(M,P)$ of finite codimension, and that the projection $Diff(M) \to O(f)$ is a principal locally trivial $S(f)$-fibration.Comment: 49 pages, 8 figures. This version includes the proof of the fact that the orbits of a finite codimension of tame action of tame Lie group on tame Frechet manifold is a tame Frechet manifold itsel

A matrix solution to pentagon equation with anticommuting variables

We construct a solution to pentagon equation with anticommuting variables living on two-dimensional faces of tetrahedra. In this solution, matrix coordinates are ascribed to tetrahedron vertices. As matrix multiplication is noncommutative, this provides a "more quantum" topological field theory than in our previous works

Average Structures of a Single Knotted Ring Polymer

Two types of average structures of a single knotted ring polymer are studied by Brownian dynamics simulations. For a ring polymer with N segments, its structure is represented by a 3N -dimensional conformation vector consisting of the Cartesian coordinates of the segment positions relative to the center of mass of the ring polymer. The average structure is given by the average conformation vector, which is self-consistently defined as the average of the conformation vectors obtained from a simulation each of which is rotated to minimize its distance from the average conformation vector. From each conformation vector sampled in a simulation, 2N conformation vectors are generated by changing the numbering of the segments. Among the 2N conformation vectors, the one closest to the average conformation vector is used for one type of the average structure. The other type of the averages structure uses all the conformation vectors generated from those sampled in a simulation. In thecase of the former average structure, the knotted part of the average structure is delocalized for small N and becomes localized as N is increased. In the case of the latter average structure, the average structure changes from a double loop structure for small N to a single loop structure for large N, which indicates the localization-delocalization transition of the knotted part.Comment: 15 pages, 19 figures, uses jpsj2.cl

Quantum Knitting

We analyze the connections between the mathematical theory of knots and quantum physics by addressing a number of algorithmic questions related to both knots and braid groups. Knots can be distinguished by means of `knot invariants', among which the Jones polynomial plays a prominent role, since it can be associated with observables in topological quantum field theory. Although the problem of computing the Jones polynomial is intractable in the framework of classical complexity theory, it has been recently recognized that a quantum computer is capable of approximating it in an efficient way. The quantum algorithms discussed here represent a breakthrough for quantum computation, since approximating the Jones polynomial is actually a `universal problem', namely the hardest problem that a quantum computer can efficiently handle.Comment: 29 pages, 5 figures; to appear in Laser Journa

Entropy vs. Action in the (2+1)-Dimensional Hartle-Hawking Wave Function

In most attempts to compute the Hartle-Hawking ``wave function of the universe'' in Euclidean quantum gravity, two important approximations are made: the path integral is evaluated in a saddle point approximation, and only the leading (least action) extremum is taken into account. In (2+1)-dimensional gravity with a negative cosmological constant, the second assumption is shown to lead to incorrect results: although the leading extremum gives the most important single contribution to the path integral, topologically inequivalent instantons with larger actions occur in great enough numbers to predominate. One can thus say that in 2+1 dimensions --- and possibly in 3+1 dimensions as well --- entropy dominates action in the gravitational path integral.Comment: 17 page